I2P’s Usage Characterization Juan Pablo Timpanaro, Isabelle Chrisment*, Olivier Festor INRIA Nancy-Grand Est, France *LORIA - ESIAL, Henri Poincar´e University, Nancy 1, France Abstract. We present the first monitori

Source URL: tma2012.ftw.at

Young integrals and SPDEs Antoine Lejay Project OMEGA, INRIA Lorraine IECN, Campus Scientifique BP 239 – 54506 Vandœuvre-l`es-Nancy CEDEX, France

Source URL: www.ceremade.dauphine.fr

Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany

Source URL: www.eis.mdx.ac.uk

Types for controlling heap and space in Java Emmanuel Hainry and Romain P´echoux Universit´e de Lorraine, LORIA, UMR 7503, Nancy, France {hainry,pechoux}@loria.fr Abstract. A type system is introduced for a strict but

Source URL: fopara2013.cs.unibo.it

Alan Schmitt 2 janvier 2012 CV n´e le 02 avril 1974 a` Nancy (Meurthe et Moselle, France)

Source URL: alan.petitepomme.net

Model Checking for π-Calculus Using Proof Search Alwen Tiu INRIA Lorraine 615 rue du Jardin BotaniqueVillers-l`es-Nancy, France

Source URL: users.cecs.anu.edu.au

Anne Breton, née le 05 avril 1977 à Nancy, vit et travaille à Lille, France formationFormation en céramique, depuis 2013, cours de sculpture des Beaux-Arts de Tournai / BelgiqueFormation Art Pl

Source URL: www.annebreton.com

Post-doc position offer at LORIA, Nancy, France Secure electronic voting systems Laboratory and university LORIA, Nancy University, France Team in the lab Cassis team, ProSecure project Head of the ProSecure project Vér

Source URL: www.loria.fr

Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´

Source URL: www.glyc.dc.uba.ar

• Philosophical logic
• Metalogic
• Non-classical logic
• Deduction
• Model theory
• Hybrid logic
• Entailment
• FO
• Temporal logic
• Logic
• Mathematical logic
• Modal logic

Radius-Margin Bound on the Leave-One-Out Error of the LLW-M-SVM Yann Guermeur LORIA-CNRS Campus Scientifique, BPVandœuvre-l`es-Nancy cedex, France

Source URL: www.loria.fr

• Operator theory
• Hilbert space
• Statistical classification
• Linear algebra
• Support vector machine
• Reproducing kernel Hilbert space
• Function
• Convex function
• Positive-definite kernel
• Mathematics
• Mathematical analysis
• Statistics